Add sublime text project file
Resolve #36: support literal integers in dsl
jsc.property
Update changelog
Resolve #42: Falsy generator
harden self-check
Merge pull request #43 from jsverify/dsl-nat

On the way to 0.4.3