Various fixes and skeleton Informl module.