Porting the categs to maybes in the bindings.

CBind(L) and CBound(L) now inherit a Maybe for the let category.
On non-lets we pass Nothing, while wrapping the usual CBindCateg in
Just.

This runs, but still need to fix the context splitting for lets to properly
test all my changes.