doc(examples/wf): use 'have' construct in wf example

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
feat(builtin): simpler encoding of sum types

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>