Code fix or linter rule to allow extracting of inline type into declared type

To teach users how to use the `type` keyword

For the following:
```bicep
param raProps {
foo: ('abc' | 'def')
principalId: string
}
```
The following 2 code fixes could be suggested (tbd the feasibility on generating a name or taking user input for it):
```bicep
type raPropsType {
foo: ('abc' | 'def')
principalId: string
}

param raProps raPropsType
```
Or:
```bicep
type fooType = 'abc' | 'def'

param raProps {
foo: fooType
principalId: string
}
```

This would also go nicely with #12069

Compare the two proposed code-fix forms and the related #12069. Resolve the open feasibility and type-naming questions, then define the linter or code-fix behavior and acceptance criteria for extracting inline types; the issue names no implementation files or tests.

Written by the indexing model from the issue text.