Most definitions in this project are based on a as of yet unpublished manuscript by Peter Thiemann from the University of Freiburg and Taro Sekiyama from National Institute of Informatics, Japan. Some further definition are from personal communication between professor Thiemann and I. For most of the definitions I merely adapted them to the way I write my semantics. Some definitions are by me.