Incorporate Evaluate into irc

The code is a bit ugly in order to conform with the type system.