Separate class hierarchy calculation from class member semantics
fix Issue 12078 - forward reference issue with is() and curiously recurring template pattern
fix Issue 12143 - Base class is forward referenced
fix Issue 11622 - Assertion failure in totym(), glue.c, line 1288
[Refactoring] Move Type::reliesOnTident into a visitor class
[Refactoring] Simplify the role of inferType function

Move lambda deduction handling code from inferType to deduceType
[Refactoring] Add FuncExp::matchType and simplify lambda conversions
[Refactoring] inferType
Merge pull request #3473 from 9rnsr/refactor_deduce

[Refactoring] around lambda type deduction
Merge pull request #3384 from 9rnsr/refactor_aggregate

Issue 12078 & 12143 & 12555 & 11622 - Separate class hierarchy calculation from class member semantics
fix Issue 11042 - Inconsistent "static condition" behaviors

Divide `SCOPEcondition` and `SCOPEconstraint` properly.