Type: documentation and example for `untype`
functional: consider making compose variadic
Type: add construction capabilities