update rules corresponding to impl
start over with test8
type bounds support in data type
sub-tp
wf-tp
extend wf and sub
reflexivity doesnt hold but we knew that
extract-wf
transitivity helpers