Adding in some old euler examples
Played with Dialyzer and Typer - added types for the main entry points
Moved specs to above their functions - which seems better...