started to adapt the rest of chapter 5 to the simplified version without parameters (they will be described in the extension section)

theory USTypes
imports Main
begin


section {* User Space Type-Systems (TBD) *}



end