I finally got around to write up my experience making a DIY board based on Teensy 3.2: https://github.com/jenschr/Teensy3.2-example

It has files for Kicad 5 and uses a USB Type C connector. Hope it's useful to others!