Feature description

Currently, default is allowed at any place inside the cond expression. This may be counterintuitive in practice, because other conditions are checked top-to-bottom. Perhaps we should enforce that default is always in the last branch?