Val.Leaf data constructors use L prefix rather than V prefix
Val.Body data constructors use B as prefix, not V