Type aliases conformance tests

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