Fix typos.
Apply feedbacks from Alain.
Add default clause semantics and \nothing.