rename propOrDefault -> propOr