Eine Theorie expliziter Substitutionen mit sicherer und vollständiger Zusammensetzung