Minor cleanups.
Shortened macro names.
trearg_typed(): Removed some weird workaround.
Check arguments via assertions.
Use new type assertion macros.