Yet Another TypeSafe and Generic Programming Candidate for C