Scala parameter application
Create a function application <fun: Term>(<args: List[Term]>)
<fun: Term>(<args: List[Term]>)
Matches a function application <fun: Term>(<args: List[Term]>)