Add sub-interval numeric types

[Symbolics]

https://common-lisp.net/project/cdr/document/5/extra-num-types.html