Implement type annotations for expressions.
Implement type annotations for expressions.

This can be used to chain together multiple function calls with different return and argument types. A possible case is to distinguish forward and reverse seqs.

Scriptor/pharen,girvo/pharen,Scriptor/pharen,girvo/pharen