Minimalist framework to enforce some of the structures of a C-like language