Major changes to expression type passing, added wml stubs

Code generation still nonfunctional, but doesn't break stuff.
Added more tests.