Exceptions in Optimality Theory: Typology and Learnability