Updated termination proof, non-lazy desugaring, incorporated feedback on covering-set criterion from Martin#1052

Merged

SethTisue merged 3 commits intoscala:masterfrom

milessabin:topic/simplified-algorithm

Apr 19, 2018

Commits on Apr 17, 2018

Updated termination proof, non-lazy desugaring, incorporated feedback on covering-set criterion from Martin.
milessabin
committed

Commits on Apr 18, 2018