Derive Typeable instance for BlockAddress
Support tailcalls
Working on the untyped operand wrapper