Ultrafinitism does not rule out higher algebraic structures