LtU thread with Steve Apter (of nsl.com) explaining parsing of pure K: http://lambda-the-ultimate.org/node/1323#comment-15393