syntactic sugar (`ttlite.hs`) to make language be more Agda-like (#59, #57)
Note: compare files `doc/examples.hs` and `doc/examples/agda` - they have very small difference in punctuation only! It means that we are very close to exporting ttlite programs to Agda.