(cfact-32) Add a first draft of Extensibility.md

This is a distillation of Adrien's excellent writeup in google docs.