Handle type errors in the first type inference stage
Handle type errors in the first type inference stage

Occurring errors don't stop the execution of the constraint collection
and instead add a special constraint.

stefankoegel/clickyEvaluation,stefankoegel/clickyEvaluation