Variable handlers

Digit and nonzero
Reserved facts can no longer be triggered by users