Added functionality to find imperative vals. Removed unhandled case warnings.