Type aliases conformance tests

Covers #1004 
Yes, that should be `T11`, thanks!