fty::deftagsum getting error in program mode

In
```
+ ACL2 Version 8.5+ (a development snapshot based on ACL2 Version 8.5) +
+ built November 13, 2022 21:02:35. +
+ (Git commit hash: 371d309be826380d1822da0e1b761e4e18f2dfab) +
```
on `SBCL 2.1.11.debian`
I get an error when I do this:
```
ACL2 !>(include-book "centaur/fty/top" :dir :system)
ACL2 !>:program
ACL2 p!>(fty::deftagsum arithtm
(:num ((val integerp))))
```
The error I get is:
```
ARITHTM-KIND-POSSIBILITIES is not a rune, theory name, or ruleset name.

ACL2 Error in ADD-TO-RULESET: Invalid ruleset specified

ACL2 Error in ( MAKE-EVENT (LET ...)): Error in MAKE-EVENT from expansion
of:
(LET ((WORLD (W STATE))
(NAME 'TAG-REASONING))
(ER-PROGN (CHECK-RULESET NAME WORLD STATE)
(LET ((RULES #))
(ADD-TO-RULESET-CORE NAME RULES WORLD STATE))))
```