differential nav thing-type enrollment with entity thing-type course