Support primitive operations (arithmetic & logical)
Allow let and letrec to be used with any expression