[Pre-RFC] TypeId for non-static Types

I just came across this again. Has there been a discussion about introducing a RuntimeTypeId as an alias that comes without the static restriction?