Added string_of_pred, exposed Types/Pretty/Controller in oasis
Merge pull request #129 from frenetic-lang/fatkat

Added string_of_pred, exposed Types/Pretty/Controller in oasis