[drlvm][jitrino]Are there any static type checking and type propagation?

[clara]

Hi, all,

Are there any static type checking and type propagation in jitrino?
If so, how can I use them?
Thanks.

Yu