What does "k4 is proprietary" mean? Does that mean one way run into problems building an open-source implementation of the language itself?
I have heard of people getting into legal problems for making a Q clone but not for k3/k6 implementations, so I don't know where they draw the line there.