restricted hole syntax
more flexible goals