Uninitialized abstract types

Abstract types are always ‘initialized’, type Id is a valid type and is a syntax sugar for type Id >: Nothing <: Any. See What's in a type alias for details / previous discussion.