Shortform syntax for external parameter access about filament

[rachitnigam]

In some ways, this is not a hard change to make. We need to make Comp[Params]::Param an expression so that it can be used anywhere. One consequence of this is that the following is also a valid expression:

assert FAdd[23, 8]::L + FSub[8, 7]::T == FMul[19, 24]::E

The encoding for this is straightforward; we can just use the functions declared for each existential parameter as the expression that shows up in SMT.

Note that this is fundamentally more expressive because previously, there was no way to say that the latency of something is dependent/equal to the output parameter of something else.