RefData.restrictions collection
Don't export internal Infer monad from API
Add (unused) ImplicitVariables