Extensions to Miller ’ s Pattern Unification for Dependent Types and Records