quote removal now done by typechecker