Add typify task to make dist
- would be to strict for make test, yet.
Annotate functions