Semantic Refinement/Dependent Typing for Knuckledragger/SMTLIB Pt 1philipzucker.com2 pointsmatt_da year ago