Type checking *might* be complete