scope and aliasing

[palvaro]

currently if I want to use a module Foo, I say:

include Foo

and this brings into (global) scope the rules and relations defined by Foo. what if I want to use two Foos? what if I want to extend Foo by redeclaring one of its input interfaces and interposing additional logic? we really want something like:

import Foo as f1

this would kill both birds...

[neilconway]

I might take a crack at this, unless Pete beats me to it.

[neilconway]

Fixed by recent module import statement.