default variables to forall quantified in parser rather than free