Remove Present and replace with unknown; remove Args and Trigger and use TS Tuple

[axmmisaka]

See #167

TODOs:

• Make accompanying lingua-franca PR (Unknown port types handled with unknown instead of Present lingua-franca#1857) in that eliminates null
• Change null to be {} satisfies Record<string, never>, check https://github.com/lf-lang/reactor-ts/tree/axmmisaka/remove-present-replace-unknown
• Enforce null check

For reference:

I discovered what happened; such a type gymnastics moment
It is because typescript will infer T extends unknown to be null and it is still valid;
If we remove Present and still want to check against null, we make all T to be T extends NonNullable<unknown>
Or, we can just define Present as such...... (i.e. type Present = NonNullable<unknown>)?

But I don't think checking is entirely necessary, considering all tests are passing...... And we might be checking null already somewhere in the code possibly?

[lhstrh]

Looks great!