Added support for StoredExpression to the parser
Added support for StoredExpressions to the typechecker