Typespecs basically done. On to dialyzer
I think I'm done with the presentation