Clean up safe/unsafe builder usage

[Kukovec]

We should revisit all use cases of the scope-safe builder outside of tests, and eveluate whether we need scope-safety-by-construction, or whether it makes more sense to used the cheaper unsafe builder. In the event that there are no such cases, or their number is low, we should refactor the code to assume the unsafe builder as the default import at.forsyte.apalache.tla.types.tla, and the safe builder as a variant (e.g. import at.forsyte.apalache.tla.types.tlaS)