SDF-like module system, but without renamings
example w/ module
name binding for modules