modify checker about wether type is compatible in typebuilder