Towards ‘up to context’ reasoning about higher-order processes