Type check done.
All tests passed (at least seemly)