added general lemmas for strong normalization of untyped lambda terms…#327

WegmannDavid wants to merge 11 commits intoleanprover:mainleanprover/cslib:mainfrom

WegmannDavid:mainWegmannDavid/cslib:mainCopy head branch name to clipboard