Today I continued to work on #143 in Welfare and Cosi, but no commits yet.
A little bugfix in Lino is for #663.