New type analyzer function, and tests to fix #64