check-constraints doesn't depend upon custom types anymore