Universal type embedding
tests for the Universal type