Tests for the new type functions