Fix case split bug on complex nested patterns

Leave 'type' implicit arguments to be inferred, rather than have built.