WyRL: updated the types example to new rewriter system.
WyRL: updated closure example to new rewriter system.
WyRL: updated quantifiers example, which is not working completely yet.