ref: af272f33d3f7f75006f78d925f57532d879bff31
parent: c8962ecdaa334c37668228b43db27c283ca15e03
author: Ori Bernstein <ori@eigenstate.org>
date: Wed Aug 15 18:02:47 EDT 2012
Add syntax and tests for multiple constraints
We need to be able to specify all integer-like
constraints on a type in order to compare it to
an int. Make that work.