Navigational programs implemented and propagated from ADTs to all the pattern matches. Note: to be able to change ADTs and not face the consequences, minimize pattern matching in favor of accessor functions and a{ b = c } sugar.
Can tick nav status now. TODO: write the rest of the stuff.
Small fixes here and there.