Fixes type-checking issue caused by free arguments passed to lifting macro.
Updates AppendModel* test cases.