Fixed free-vars to properly handle define.

Working on adding additional error checking to alpha conversion.