Add an atype<T>() boolean, and use it in the library