Änderung der Symbolerkennung

Die Symbole werden jetzt über die Backtickfunktionen ihrer Tokens
erkannt und das neue Standardsymbol für Lambda ist '^'

Dann gab es da noch ein paar verschönerungen

Tim