From the bit stream, writes out the corresponding proof.
Each line is considered a separate bit stream.
Write "start" and "end" to write bit stream over multiple lines.
Write "define alias bitstream" to define a macro be included in later streams. Write "undef alias" to remove a macro. Aliases must not start with a number.
"start" and "end" can't be defined or undefined as a macro.
In bit streams, characters other than "0" and "1" are ignored, unless they make a keyword or a defined alias.
When a single "#", enclosed by spaces or line endings, is written, anything after the "#" is ignored for that line.
Anything between a "#{" and "#}" will be ignored, even when placed accross multiple lines. The must be enclosed by blanks.