Revert "print their types"

This reverts commit 451a2b196d1efdd8421d0a38b561d893b91fc305.