Rename caseBool/Nat to elimBool/Nat