Fix some errors

This fixes handling instantiation errors, and make mit.py handle FILE: values.