store extension + ... => extended store well typed