Move FieldLimits into it's own list
Removed old comment
Split infer.rb into 3 files
Merge type-context.rb and type-limits.rb
Some fixes and does instancing of type variables again
Resolve dependent type variables in code generation