refactor bool and nat into const