So what's the difference between `AnyType` and `DynType`?