Reports constant assignments whose inferred types don't match the constant's expected type. The expected constant type is taken from the RBS type signature.