whitespace + redundancy eliminated
tests moved to a separate file
white space improved
environment added (preparation for labels)
lambda functions added
function tests added (probably, a bug in paper found)
label function added
label renamed to def
tests autonumeration eliminated
code normalizer added; branch renamed