James C - kinds and tags
James C - ints and chars
James C - cell, ref, part func
James C - mem now cells, not ints
James C - better clause rep