refactor k to generate posters from compiled definitions

**please review**
no maude?