output module prefix for outermost type
refactor
AppliedValue/Attribute needs type arguments