More principled logging
Fixed crasher in signature construction
Specialized methods now have type tags
Better signature printing
Mboxed class is now transformed into an interface

instead of creating a separate interface. Yay, no global tree type replacement! :D