Overriding <: function for subtype checking

Given your previous question about overriding =, I am curious what problem you are trying to solve. Maybe there is a simpler way to get what you want?