TurtlePU

For example, `Config` is lacking `templateData` field, `createContext` is not void etc.

Extend `run` meta to support trailing lambdas

1

A common pattern in Arend proofs (apart from `==< equalities >==`) is a sequential invocation of functions and metas. A `run` meta makes these chains comprehensible as can be seen...