Find module interfaces

[amzamora]

Necessary for #119 and #123

• Check that types exists and aren't recursive.
• Find interface implementations