Variables everywhere!

This pull request adds a symbol table to the semantic checker. It guarantees that:

- no variables are redeclared
- variable assignments are to the proper type
- all variables referenced were defined prior to that line


Also, support for `printf` was added.


#### Semantics Workflow

Located in `semantic_check.ml`.

1. An intermediate SAST is generated.
- This SAST is then passed into `var_analysis`.
- `var_analysis` builds a symbol table and rewrites the SAST as it iterates
- re-written parts are currently changing `SId` (untyped variable reference) to a typed variable reference (`SIntVar` or `SStringVar`).
  - [see SAST](https://github.com/rapid-lang/rapid/blob/7d09d2b697dd83a3fc37e6301be1fdbc9dd22c52/compiler/sast.mli)

---

I think the two biggest hurdles after this will be functions and classes (+ db operations).

---

works on #60 
closes #38 

This is where I think we could just translate to the correct expression type.