Take some first steps in the formalization of synthetic topology in UF

[ayberkt]

First steps of @martintrucchi’s internship work on synthetic topology.

Creating this PR containing only the basics of his work to avoid ending up with a huge PR.

[ayberkt]

@martinescardo: This pull request implementing the foundational layer of @martintrucchi‘s internship work on synthetic topology is now ready to review.

This will be followed by several other pull requests extending this in various directions.

[martinescardo]

I would like to have a meeting to discuss this with both you and @martintrucchi .

[tomdjong]

@ayberkt Should this be a draft PR instead? What is its status?

[ayberkt]

Thanks for reminding me about this @tomdjong. The status is that @martinescardo, @martintrucchi, @vrahli and I were going to have a meeting to review this, but we haven’t got around to doing that due to me being busy with thesis writing.

I’m arranging that now and will try to merge this before the end of this month. Let’s keep it as draft until then.