Formalising Quantomatic-style graph rewrite theories using abstract tensor notation in Nominal Isabelle