added boolean types
added builtin not
implemented builtin eq