IsFree -> IsProjective

IsZero -> IsFree