Wrap up Traduisons in a newtype
Cleanup type signatures
parse -> parseInput and change prompt to match old version
Don't print errors when they occur on the first try
Refactor main for readability