Add beginnings of Module.bnf