v2020-12-21

Increase coverage of programming language and core library

+ Implement pattern destructuring in `let` blocks.
+ Implement char pattern and name pattern support for case-of expressions.
+ Add `String.toInt` function to the default context.