The 'alias' semantic analysis pass for marking slots as aliased is currently incomplete; doesn't handle a bunch of AST nodes. Finish it.