Added Chapter7 (Untyped Lambda Calculus) Syntax
move Display Library
Added Chapter7 Syntax tests
Merge branch 'Chapter7'

* Chapter7:
  Added Chapter7 Syntax tests
  move Display Library
  Added Chapter7 (Untyped Lambda Calculus) Syntax