Tweaking test output
Sandro just amazed us at Scala Workshop :)

now, for real, type parameters propagation in metadata. Not yet fully rewiring methods.