Some writing on the Programming in meta-repa section.