finished most examples; still bugs in package
tests passing; forall included in tests