Updated internationalization (markdown)
moving and improving typechecking error demonstrations
moving and improving typechecking error demonstrations
Updated typechecking errors (markdown)
finished annotating #[ ...  | ... ] and examples