Doc and PoC

- Quite formal description of typify type language syntax
- Proof of concept implementation in Haskell
Merge pull request #1 from phadej/haskell

Doc and PoC