8:43:00beachI am taking a break from bootstrapping today for two reasons:
8:43:06beachFirst, up until now, I haven't really needed a reasonable implementation of TYPEP, but when I start filling up E5 with SICL-specific functions to replace ones that were imported from the host in previous phases, then TYPEP becomes necessary, simply because I often call it in those functions.
8:43:08beachSecond, I have put off writing TYPEP because it seemed messy to me, but I think I finally understood how to write it.
8:43:48splittistgood morning. TYPEP - such typing!