migrating material from metaborg.org wiki