Type aliases conformance tests

Covers #1004