minor simplification

	modified:   Parser.hs
correct a bug in substitude function

also add a simplifyExprInline function
but programs are not running faster

	modified:   Evaluation.hs
	modified:   Interpreter.hs
	modified:   Parser.hs
a faster version of queens

inspired by hantaoyin's church_encoding.lam code

	modified:   input/queens