Interface Design Notes

Defects of the current design of interfaces and modules:

• Cannot import a given module twice
• Interface names aren't scoped (#49)
• "state" blocks in an interface need to explicitly call "super"
• Need to explicitly include Anise for the "declare" decorator (#59)
• No clear distinction between importing a module for use as a client vs. importing an interface to provide an implementation of it
• Should temporal properties be exposed as part of an interface's API?
• Constraints on interfaces?