Hi,

Sorry for a late reply. This line caught my attention:

- Chamo uses .annot files to display type information (Alt-t),
>

- Can Chamo infer and display type of an arbitrary expression in the source
code?
- Does it work for user-created types (which, supposedly, don't have .annot
files)?
- Is it tolerant to erroneous/incomplete code?

Thanks,
-Kirill