Declare instance vars of generic class
Some fixes and enchancement to declare var of generic classes, and hierarchify type vars if they are abstract (even inside unions)
Removed the leading ‘#’ in Reference#to_s because in macros this is a comment and leads to bugs
Show type traces in more cases. Some small fixes here and there.