added support for multi abstraction; printing lambda terms and type info with support for greek letters