Allow to filter enumerated instructions by multiple types.
Properly pretty-print type variables.
Stylistic fixes.
Inherit ReturnValueInsn from ReturnInsn.
Add #variable? to Types.
Add replace_type_with to Types, Argument and Instruction.
Bugfixes.