WIP: More strict type checking
This MR enables more strict type checking in Allen, and fixes bool / uint8_t mismatches.
Edited by Daniel Hugo Campora Perez
This MR enables more strict type checking in Allen, and fixes bool / uint8_t mismatches.