Cast expressions pull out into separate equalities