ast::TypeNode as an enum?

Not sure, but it seems weird to me to have all these optional fields and not variants.