Специально для CHICKEN Scheme, в серии 4 был добавлен «анализатор», который будет выполнять (ограниченный) анализ потока ваших типов данных. Особенно, если вы помещаете свой код в модуль (делая его, так сказать, «закрытым миром»), это может быть чрезвычайно полезно при обнаружении ошибок типов.
В 4.9.0 и более поздних версиях проверка включена по умолчанию. В старых версиях вы можете включить его с помощью опции командной строки -scrutinize.