Update for lazy specialization from ATerms