Merge CTypeChecker code from master