some typo fixes and sicp note of aug 19