UnknownUser typedef Null safety

UnknownUser = $Empty

A user about whom nothing is currently known.

Implementation

typedef UnknownUser = $Empty;