Switched to MTL-style DatalogT, StepT, PromptT. Added _Prompt and _PromptT isomorphisms.
Merge branch 'master' of github.com:ekmett/analytics