Adding new features to core language.

Added boolean literals.
Renamed var to id.
Added an environment that supports both declaraitons and
definitions.
Provide definitions of bool, int in the context.