Tweak to README.
Various tweaks to malloc.yr and pointers.yr.