fix :print reconstructing too many types in environment bindings