Tighten up/clarify a few constraints
Detect invalid transformations
Add several _exn versions of functions
Bump version