Dots and Faculties

While I am grappling with my mind, and the compiler happily crunches on some Hi files, I am writing on Dot evaluation again. Decided to write a simple interpreter for it in C also, never bad to be able to fall back, and it makes sure I got all invariants right. One thing I got wrong, not in the compiler, is identity. I x = x and J x = [@ x] just are not the same functions since J cannot `handle' simple constants.