Administrator := actor
Admins := Administrator list

somebody is Administrator :=
    somebody is actor
    somebody in Admins

Task :=
    Title (string)
    Status

Status ::
    Todo
    InProgress
    Done

Tasks := Task list

// usage:
//
// todo! "Do work"
//
todo! text :=
    this is Administrator
    text is string

    task := Task
        Title: text
        Status: Todo

    add task to Tasks