Improved range constraint functionality

- Added strict constraint support
- Changed "integer", "positive int.", and "real" to "𝒁", "𝑵", and "𝑹"
- Changed ≥ and ≤ to ⩽ and ⩾ (because they look much nicer in the
  output, especially the short help output)
- Changed both-end constraint notation to "m⩽𝑹⩽M" instead of "𝑹∈[m,M]"
Reprint header every 25 rows; fixed PIRACY width