initialize module structure and notations.