Work on static type checker
Pretty much finished parser and static type checking for functions
Got interpreter to at least go through test program, just needs lots of bug fixes