Implemented the rest of primitives
Implemented lambda form