Refactor Symbol to have additional information:

• the ParameterExpression this symbol represents
• the AstExpression this symbol translates into
• a boolean value indicating whether this symbol is the current symbol