An institution theory of formal meta-modelling in graphically extended BNF