Show constructors in pretty print.
Refactor Makefile.
More deeply nested test expression.