title parent Type Application Expression Misc.md Syntax type application expression Typing Semantics Examples