A modular module system for typed assembly languages, or “how to implement modular typed assembly languages?”