more work on type theorem printing -- looking good