remove Module data constructor
restruct module namespace
resolve namespace bindings
add tests for variant
impl resolve patterns
fix compiling constructor with arguments
fix
Merge branch 'feature/binding' into develop