support for coq version 8.14
According to the configure script, Coq 8.14 is supported, but compilation of realization of library set
fails
Coqc lib/coq/set/Cardinal.v
File "./lib/coq/set/Cardinal.v", line 376, characters 2-7:
Error: The reference omega was not found in the current environment.