Fix & test for new-fact counter with value != 0
Fix destructuring
Merge pull request #11 from nberger/fix-make-dimension-fact

Fix make-dimension-fact