Removing dead Auto examples.
Getting Auto/Demo working

- Add some more proofs to Simple
- Add proofs to syms/*
- Avoid including Expr from within Lambda
- Lambda/Expr exports more stuff.