Implement a flag guarding the use of types in Starlark and extend Starlark syntax with type annotation.