Fixed bug regarding polymorphism
Fixed bug regarding polymorphism

As of 870c8d6 we use `encore_arg_t` as the C-level type for type
variables. We had forgotten to add the proper wrapping and unwrapping
for one way message sends and when tracing values on method calls.

parapluu/encore,parapluu/encore,parapluu/encore