Add width type context.
Extend typed-insert definitions.
Modify example along with library update.