Made Insert instances generic enough to automatically work for anything with an InsertC instance. That means that new tape types or insertable types need only define an InsertC instance, not any Insert passthrough instance.