Added empty set hack to the abstraction case
Solver algorithm and Latex rendering. Can type lambdas, if-statements, variables and values