[2-2] minor cleaning
** added plea to readme
[2-2] note to self: lambeks lemma not finished
[2-2] added justification to F-Alg category defn