Added string_of_pred, exposed Types/Pretty/Controller in oasis

Changes needed for NetKAT FatTire (FatKAT)