Refactor int handling to allow unification of literals in typechecker