Added support for parsing SPARK/Ada power operator.
When computing hashes for sub-terms, double-checking that no two
distinct terms have the same hash.