Should add a validation that sanity checks any interface_of statements to ensure the use of @Interface annotations is sensible. For example, where a reference is annotated as @Interface, it makes sense to expect that the classes at either end are also annotated in this way...