improve add satisfied type quick fix