Cryptol.TypeCheck.Kind
checkType
checkSchema
checkNewtype
checkTySyn