put very experimental stuff in separate files
reset test11
wip on widening in tsel

some issues:
- disabled bot type, which seems incompatible
- things becomes quite entangled: transitiivy depends on rect-glb
  and vice versa. termination still needs to be solved.
- restrict-sub-tp likely needs to be added to the mix (%trustme atm)
mini-lf in scala