Rename Cons to Then.
Fix compiler warnings.
Add dsl to construct session type.
Move content from package-object into Action.scala.
Add a Type type to Action.
Unused import.
Fix typo.