Some confusion here:

A hardfork adds new rules that makes previously invalid tx valid, making the possible set of valid things larger...

A softfork is the opposite, where rules are relaxed and previously valid things are now invalid.