Fix module_path
fix as_string for Arg
Move ModuleTree to separate file, create check