Add `FlexibleContexts`

[none]