Full implementation of the any type