TODO:
 - enhance core engine in order to run faster and work with more vars
 - implement "Peano-Russell-Notation" for input
 - implement "Polish-Notation" for input
 - add inputsyntax for set theory