Implemented garbage in Num

- 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