Chris kira semantic analysis

Significant progress in semantic analysis. Builtin functions still requiring handling (print, etc).