typecheck

• bridge/
• assign.go
• checker.go
• const.go
• decl.go
• expr.go
• info.go
• object.go
• package.go
• resolve.go
• scope.go
• stmt.go
• types.go
• universe.go