corrections and improvements to subparameters in lambda abstraction