Initial version of infer keyword.

Main things remaining to do:
  - if Array or Hash, infer the parts/sizes.
  - if Numeric (maybe just Fixnum), try and figure out ranges.
  - if Symbol, figure out if only a few possible options.