new tape graph
simply use of Sys (proc.Sys instead of evt.Sys)
do away with covariant sys (+S), because of pat mat "skolems". part 1.
... part 2