High-Level Liquid Types