Value-level programming