Type annotations + naive extraction of modules