refactor subtypep into subtypepDown and subtypep
subtypep
should be the call-site API, but methods should implement subtypepDown
.
The subtypep
method should check for STop and SEmpty as lhs or rhs,
and also check whether lhs or rhs canonicalize to STop
or SEmpty
before calling subtypepDown
.