Refines class and function definitions
Avoids WildcardTypes (special syntax for existential types)
Refines result expressions for blocks
Refines guards (use NoLExpr)
Refines patterns
Fixes SelfInvocation (forgot BlockExpr)
Adds longest-match for EOB statements