[feat] specify type/function visibility #43
Description
Right now there's no concept of scopes, but with #42 it becomes necessary to allow users to specify the visibility of types and structs within other modules (restricting what other modules can import)