Polish

* Fix build warnings
* Improve documentation for `Transition.isEpsilon`