Deleted mn.hpp, combined into other headers