Initial commit of type system, core AST, extension modules, basic tests.