finish ACL
macro tools
macro build order limitation
macro static extension limitation
expression reification clarification
export