Fixed unification, added operator<< functions, unit test for literal.