Liquid Types for C