Unified literals partially work
Got the tests to pass again, but it's prob broken
Add another unify test case
Add scoping of variables
Add scoping to infer tests, fixed a bug