Also check that tyoe annotated constants are correct, but don't produce annotated constants when unparsing.