added a remark to IsLocallyFree
renamed IsDirectSumOfLineBundles -> IsSplit