bug fix: printf format
English typo
correctly use is_equal for expanded types
se pretty
bugfix: foreign type equality