A lot of work encoded explicitly in concrete syntax micropatterns