Typecheck checked-cell.rkt