edits, add explicit lst constructors
work on the disequations section