Choice rules in the head should be allowed to have sort names in them.

[iensen]

This program:

1{p(X):#s(X)}1 should work.