TODO: Make interaction links not bold
TODO: Say something about implementation differences with transformation specs
TODO: Say something about the builtin functions somewhere (ref: christiaan)
+TODO: Reorder future work.
+TODO: Future work: Use Cλash