Binpi

**Features/fixes:**
- Introduce boolean type
- Introduce RecursiveType for tree data structures
- Fix type checking

**BREAKING CHANGES:**
- moving from structure definitions like `var: LEInt()` to `var = LEInt()`

- Add deserializing from bytes