The final state exists. The syntax is the same as entry points:
SomeState --> [*]
Some of the other stuff would be interesting. Parts of it is currently possible, like conditionals. You could use the standard guard syntax:
SomeState --> OtherState : message [guard] / response
But perhaps you mean junctions in this case?
Junctions, exit points, etc. would be nice, though.
