add extra implementation notes in readme on macros and special forms