Add partial equation support to QuickSpec (stage 1)
Add partial equation support to QuickSpec (stage 2)