ESPL: More useful premise for match step typing
ESPL: Add inference rule for positive matching
Update dependencies in .cabal file
Partial proof generation with matching steps
Fix case names computation for MatchEq rule