Implement auto-insert of types