Got some smooth animations for dialog popups! In the process had to write a macro to encode ADTs in rhombus --- it turns out that you can piggyback on Rhombus' static information system to encode exhaustivity checking --- Amazing!