New module_access pattern, will not bind any identifiers in such patterns. And started working on a `Streams` module.