[ alteredimplicits ] Commented abstract syntax.