Pretty OK type mapping
Benchmarking
Comments!
Fix silly bugs, working implementation is slow
I'm completely sure there are no more bugs in this program