Remove Num instance

Makes even less sense now.
Clean up code
Rewrite copy loop analysis
Improve documentation
Rename AST to Tarpit