don't convert types from the environment into schemes and back when typechecking
don't convert types from the environment into schemes and back when typechecking
shinnya/jhc-mirror,hvr/jhc,hvr/jhc,shinnya/jhc-mirror,hvr/jhc,hvr/jhc,shinnya/jhc-mirror,shinnya/jhc-mirror