Gravar-mail: Foundations for an ontology of brain areas, circuits and functions