Why are my net names not corectly exported to a SPICE netlist?
Well net labels are exported if there is a net (see the helloworld label). You will need to have something connected to the pins with your labels otherwise there is nothing that uses your labels.