Get the declaration associated with the Symbol.
an Optional with a present value if the symbol is solved, otherwise an empty Optional.