I am a bit confused. It appears that 1.6.7 Teensyduino supported the generic HID library that can easily be used to create custom HID reports(AppendDescriptor, etc). However, now the HID support is limited to the tools menu (Keyboard, mouse, raw etc). The tools implementations seem all monolithically coded and do not utilize the USBCore. Is that correct?