\installprettytype [LAM] [LAM]
% Define \startlambda \stoplambda
\definetyping[lambda][option=LAM,style=sans,before=\startboxed,after=\stopboxed]
+% Define \startunboxedlambda \stopunboxedlambda
+\definetyping[unboxedlambda][option=LAM,style=sans]
% Define \lam{} (since \lambda is taken)
\definetype[lam][option=LAM,style=sans]
% TODO: Make more pretty.
\definefloat[definition][definitions]
\setupfloat[definition][background=box,backgroundoffset=1mm]
+
+% Define an "example" float. Don't add box around it, since an example will
+% commonly contain two boxed items (Before / after, code / picture).
+\definefloat[example][examples]
+\setupcaption[example][location=top] % Put captions on top