Conformance Tests for Spec Change in PR#624

Adds/moves around tests for #624
Would be best to break this test into multiple files with errors and non-errors so that the non-error cases can still get a type baseline (we should probably just always do type baselines even for tests with errors)