Function modelOf

Returns { ast: UnitAST; globalScope: ScopeSymbol }