add various more constants to OpenTheoryMap