toolbox: Add preliminary support for UTF-8 validation
lcc, lip, toolbox: Improve type system