consecutive, use a loop to initialise these types and expressions

used and may cause the compiler to crash if generic definitions and
instances occur on a cycle of definition modules

for: f True True = True; f _ _ = False

(instead of abort)

an unknown type

observation typeing)

can crash because arguments can be incorrectly analyzed as unused

because all attributes of c should have the same attribute

prevent error for:
!+! a b -> a
!+! a b = a

want_array_assignments  and want_array_assignment

{a & [i]= } expressions, instead of [i] a sequence of record and array
selections may be used. ending with an array selection

use UniqueSingleArraySelector for a![i] instead of NormalSelector and
add UniqueSingleArraySelectorUniqueElementResult

the second argument cannot be used anymore, because x is now Top

by using a unique selection with unique result, instead of "uselect"

remove unused field stv_count in STE_BoundTypeVariable,
remove unused argument def_macros of type CollectedDefinitions