The problem is on the next "future" Teensy, Teensyduino users will have to wait for another 1.5 to 2 years for the software to be created and debugged.
Right now, the Teensy 3.1 with resource heavy 256K flash, 64K Ram with loads of GPIO, would be the perfect candidate for a new GPIO pin/bus...