Type equality, coercion/cast and other operations
