Defining domains via constraints

create domain PosInt as ...

create domain Mark as ...

create domain CourseCode as ...

create domain PersonName as ...