core/flat: remove named init `with_pos` and use auto-constructor