Avoid obtaining the typechecking context in the inspector too often
Fixed test
Removed recursion; removed obsolete method
Essential and non-essential typesystem updates, adaptable grace period for the highlighter
Merge remote-tracking branch 'origin/master'