• Fix regression around pushing to new git repos, (sorry! #971)
• Parsing and pretty-printing now use shortest unique suffix to identify definitions (#963) — you can use Nat instead of .base.Nat when you only have one Nat!
• Renamed resolve.term and resolve.type command to replace.term and replace.type (#988)
• Some compiler cleanup (thanks @TomasMikula! #941)