Fix `inlineAndReset`.

To reset a symbol with `untypecheck`, a tree must contain symbol's
definition (i.e. it must be "local"). After the call to
`inlineApplyRecursive` lambda argument definiton was removed from the
tree, so it became external. To avoid that we must call `untypecheck`
before `inlineApplyRecursive`.
Merge pull request #32 from inmost-light/inline-and-reset

Fix `inlineAndReset`.
Update README.md