also changed the type of Def and ParseDef to use the new LHS type