fix -print-type for signature files
ready type-expression test