Macros

Handles folding of Arc and Static
Handles visiting of Arc and Static