Wording changes.
Start inferring some arguments.
More inference
Get inference working for levitated descriptions.

Also combine both files.