some changes towards the final thing plus updating build.sbt file to new version of typed-graphs