More work on the Level 1 -> Level 2 translation
Merge branch 'master' of github.com:A1kmm/declarative-fieldml-prototype