Capture and simplify constraints arising from running typed splices