type-check:
    zuban check src/ tests/
