checker: limit recursion in Checker.ensure_type_exists/2 to 40 levels (it is usually 4 or less)

checker: limit recursion in Checker.ensure_type_exists/2 to 40 levels (it is usually 4 or less) #9473