Annotate type variables during pretty printing.
Better error reporting in InstructionSyntax.
Ditch co/contravariance for now.
Add replace_type_with to Types.