initial version of spec conformance tests for type aliases