Added hash function, and improved comparators to the interpreter. Interpreter now correctly handles polymorphic builtin functions. Improved interpreter API to avoid duplicate static environment computations.