base.Collection

read .size: imm base.Nat,
read .isEmpty: imm base.Bool,
read .size: imm base.Nat,
read .isEmpty: imm base.Bool,