Temporary hack to compile 'kotlin'
++appr
Rename: TypeCheckerTypingConstraints -> TypeCheckerProcedureCallbacks