traits: redesign all sfinae tests using only template aliases