Add 'ensure' parameter to all defined types