Add other equality calculi notes and improve np-completeness chapter a little bit