Add module for total order encoding

Sometimes it is possible to use linear real arithmetic. In the case of
data race detection, enable the _CKA_REAL_ option.