Added a thing connecting f-coalegbras to OO subtyping.