Type aliases conformance tests

Covers #1004 
Did you mean `T11` here. Otherwise there's no circularity.