tutorial is understood
sketch contextual algorithms
make it compilable
add symlink
test full generality
Arith Integer works :-)