Clean up effect annotation types.