add analyze-type.scm