It could be bigger. The 'keys' are just arbitrary sytems of equations, this is where 'unbounded keyspace' comes from. Any implementation would wind up being bounded by some practical constraint.

Whether this is any improvement on existing ciphers (which you can also design to have any size key you desire), is less clear, but I would bet on 'no'.