constant none + various bug fixes
domain and range restriction
some improvements to #next
extra check
updated alloy.jar