introduce [default] as abbreviation for [from_option id], and use it

There's some more uses in Iris, so this seems worth it. Over std++ and Iris together, the new default will actually be used more often than the old one I removed in !31 (merged).