Capabilities for outline

[rtetley]

@gares if you can briefly review this then I'll merge and use it as a basis for further work using the "outline"

[gares]

A nitpick. In OCaml let... in is well delimited, so if in the body you use a match, you don't necessarily need a begin end.