Added trap macros: in, out, halt.

Also improved the style and readability of the assembly docs.