tower-aadl: stubbed out module
tower-frontend: integrate aadl stub, fix dot generation during dep and gensym