Fix typing for Binary, Unary, and Logical Expressions

[ning-y]

This branch is blocking for #29, which uses the convenience function isBool and test file src/slang/utils/__tests__/rttc.ts added here.

---

Features

• Violations of source typings raise relevant SourceErrors describing location of violation, what type was received, and what type was expected.
• Additionally, fixed arrow functions being represented as 'object' when their value was printed.

For example,

> "a" < 1;
Line 1: Expected string on right hand side of operation, got number.
> true && 1;
Line 1: Expected boolean on right hand side of operation, got number.
> - false;
Line 1: Expected number, got boolean.
> - true;
Line 1: Expected number, got boolean.
> !0;
Line 1: Expected boolean, got number.
> -"asdf";
Line 1: Expected number, got string.
> 1 * "asdf";
Line 1: Expected number on right hand side of operation, got string.
> "1" === 1;
Line 1: Expected string on right hand side of operation, got number.
> "a" < 1;
Line 1: Expected string on right hand side of operation, got number.
> 1 < "1";
Line 1: Expected number on right hand side of operation, got string.

Issues fixed

• Typing in Source §1 #17

Issues raised

• Bitwise operators are not disabled. (See Bitwise operators are not disabled #23)