Added Elm base declarations
Introduced test cases/examples
Added defaultOptions
Added fun to Definition translation