Gravar-mail: Formalising Autonomous Construction Sites with the Help of Abstract Mathematics