[1-9] outline
[1-9] old solution to 2, gotta check it
[1-9] limit of A->B is equalizer, done
** removed unused tex stuff
[1-10] curry(eval) = id(dom eval)