typecheck

type checker

Sadly, this package has no readme.