Fixed test for qualified syntax change
Marked a test as failing
Updated test due to some change in the typechecker
Marked another test as failing
Another ordinal test change