The type-checking tests are in.
Merge branch 'wip/delite' of https://github.com/vjovanov/mpde into wip/delite
Typechecking benchmark.
Merge branch 'wip/delite' of https://github.com/vjovanov/mpde into wip/delite