ivory-backend-aadl: extend Monad with scope (naming) tracking, and warning system