• Conversion of elements into singleton sets was not implemented correctly. Fixed.
• Prenex conversion was not implemented at all. That prevented BAPA translation into PA.
• Conversion into prenex normal form implemented.