add stronger to syntax/c
add stronger to is-a?/c
add stronger to implementation?/c and subclass?/c

also, bring down below 102 cols
add stronger for parametric->/c

(and test cases for stronger with new-∀/c)