Type safety attributes: add tests for enumerations (users are actually doing
this, ensure we don't regress)