Add partial function support to QuickSpec (stage 1)