Adding some basic specification in english and Idris
Basic descriptions for the available mutators
Some additional detail in the Menu actions
Defining inputs and list of mutators in Idris