Add opt_conv
Modify Inf.typectors
Treat abbrev decl