Parse block argument
Allow yields with less arguments than in block
Missing def block arg in to_s
Bind missing block args to nil, not just set type to nil
Fixed def expansion
Basic type inference of block arguments with &block is now working :-)
Cache methods that: 1. have &block specification or 2. yield no value
Use match free vars when inferring block type
Generic types must not be visited in hierarchy types