add #:post condition to meta functions
add Burke as an author of Redex