Evaluate type transitions for adding properties on SimpleDictionaryTypeHandler

Today, if a type is `SimpleDictionaryTypeHandler` and is locked, properties added on it will evolve it to new type. 2 problems with that. We are introducing newer types in the runtime which will have less probability of types finding in cache. When we transition to new type, we do allocation to hold properties and then copy all the properties from old type to new type. So there is a memory as well as performance hit.

This issue is to evaluate if type transition is needed for `SimpleDictionaryTypeHandler` and if does, then come up with a solution that will avoid type transitions most of the time.

Start by locating SimpleDictionaryTypeHandler and the logic that transitions a locked type when properties are added. Evaluate whether the transition is required, then define a solution that avoids unnecessary allocation and property copying; done means the design is validated against the stated memory and performance concerns.

Written by the indexing model from the issue text.