Refined cbuilder loader's type checking.