Add tests for adding and resolving alias types