Hello everyone! Does anybody know if there is any constraint on type of the value? How can I assert that something is a symbol or number? miniKanren has such symbolo and numbero constraint but I can't find them in CL.