Added deftype for pretty printing.