input of passive_process is now synchronous; first version of active_process (similar to rewrite_process)
input of passive_process is now synchronous;
first version of active_process (similar to rewrite_process)

c-cube/zipperposition,c-cube/zipperposition,c-cube/zipperposition,c-cube/zipperposition