Now checks that the types when assigning a value to a variable are or both crust_t, or both non-crust_t