const ExpressionException.pos(String message, int characterPosition) : msg = "$message at character position $characterPosition";