Changed almost all uses of issubtype(A,B) to A<:B