Typing for brick2 dcg

#1

The book is good for