Rewrite Progression, Range, Unit to Kotlin

Delete useless (by now) AssertInvisibleInResolver