still missing def extend
still missing def evalLam
added a little part of evalLam