Tomer Libal, Dale Miller: Functions-as-Constructors Higher-Order Unification. FSCD 2016: 26:1-26:17