- 0.1.1.0
    - Add `eqToRefl`, `eqCast`, `trivialRefl`