Adding test and implementation for type aliases