Doc and PoC

- Quite formal description of typify type language syntax
- Proof of concept implementation in Haskell