Explicit result types with empty refinements to prevent widening.
Reenabled some disabled tests.
Workaround for SI-7755.
Reenabled some disabled tests.