Add some type predicate and type conversion primitive procedures
Add the special operator `lambda' and its application
Move the code about evaluating if form and lambda form outside from function eval