Added heterogeneous equality to the core language