Start of experiment in defining well-formed action graphs as a *type*.