Most methods are marked as `@TypeChecked`. Can the remaining methods be `@TypeChecked `as well? - toString() - Trek() - fireTorpedo()
Most methods are marked as
@TypeChecked. Can the remaining methods be@TypeCheckedas well?