simplify the display of self types regarding inheritance
Merge branch 'master' into value-ranges
value range restriction and branch cutting
- works for simple comparison such as x<2, x>2, 2<x etc
- restrict number range after such conditionals
- cut infeasible branches and types give the value ranges