added isNil to evaluator and typechecker, evaluator has problem with higher order functions though