First cut of fluent and transition models, with graph utilities and
visualizations.