Admit bracketed instance heads. Improves #7.