K as a Prototyping Language