Added notes about making the subtyping algorithmic.