brunosoliveira/modularitysubtyping archive