- Implemented parsing of garbage
e.g. (x. x x , A , B , ...) where the garbage is A and B and ...
- Garbage is not implemented in Lambda4, but implemented in Num (except in subst i.e. reduction)
(see `assert g = []`)
- Added sample problems with garbage