Started describing Abramsky's free constructions