Fixed - `MANIFEST.in` was missing `requirements.txt`, causing an issue when installing with `pip`.
0.1.2
Fixed - the expression `x in [a to b]` is now correctly translated to `x >= a and x <= b`; quantifier domain semantics remain the same (only integers with `range()`).