adapted typechecker and evaluator to simplified param rules