add file.
declare main types.
add square difference (delta fn).
Merge branch 'feature/write-types-for-haskell-version' into develop