Added string_of_pred, exposed Types/Pretty/Controller in oasis