Pab/devel

Changes:
- Wcheck: better handling of except in type forms
- Wcheck: lib.c: Drop library attached to libraries - it's not interesting
- Wcheck: of_inlin.c: Use declared not actual arguments when creating temporaries
- Wcheck: tfSyntaxConditions had an over-restrictive assert
- showexp utility for showing exports of a domain
- more use of aprintf
- cleanups.