When downcasting for a method call, choose the highest type in the hierarchy.
Make the name of the task on the progress monitor give the current and maximum depth to give users a sense of how much longer the synthesis will take.
Show all Javadocs on tooltip, not just the top-level one.
Fixa rare bug with downcasting.
Fix some tricky bugs with downcasting and equivalence expansions.
Call constructors of subtypes, not just target type.
Revert part of a recent change that re-introduced an old bug.