Started giving semantics of circle (and added related macros)