Define constant expressions

[claymcleod]

With the introduction of enums in #695, the concept of a constant expression needs to be more fleshed out so that we can better design the type system for enumerations. See this comment for more information.