Add type constraints to masked_load/masked_store to ensure the mask vector has the...