Change toRTMap to toRExpMap to make function purpose clearer, fix broken proofs up until ErrorBounds.v