[ refactor ] Moved Signature lenses to Monad.State.
[ merge ] After cherry-picking the move of Signature lenses to State.