Making progress on static semantics. Still have a ways to go though...