Adding consistent-subtyping to slides