This adds a check that abstract members must be implemented.
If any members lack an implementation, an error is thrown describing
the missing members.
Also: we have a bug in `pkl:base`; class `Set` does not implement all
members of class `Collection`.
Dan Chao
a6b02692bb