All the types now imported to MARDS.

Next, make the checking go past the root of the tree. Allow for
user-defined types. Cleanup and testing.

After that, add the fourth column in the error_list everywhere.