Add a context type that does not enforce variables to be typed
Add a context type that does not enforce variables to be typed