Major restructuring. Now the whole thing isn't in a single file so I no longer have to scroll like a mad man. The program is now beginning to infer the types of function arguments using constraint generating and solving. For now it is fairly limited.