Introspection: Add output types for push codes

I added output types on the opcodes that consume inputs, as it looked like that was how it was done on documentation.cash - but looking further I think it should be updated and added to all opcodes.