Add implementation notes about smie

I need to write down my current level of understanding, both from reading the
 source code and the documentation.