notation: add enumeration context; fix styles editor