Cleaned up the evaluation loop. This should be pretty much complete
Problem set file got updated, so yeah
Unify algorithm is... about 80% of the way there
A lot of work getting the type inference to match up. Still a WIP sadly.