added subinterface of type called boxabletype for specifying the boxing and unboxing of a type.