copied NaBL documentation from metaborg.org