code and comments cleanup for meta.rkt