Added Boolean singleton type macro; added SLt, SLtEq; restricted SNats to >= 0 in binary operators.
Added sized containers example using SNats.