Allowing Isabelle constants in placeholders.