Higher-Order Pattern Complement and the Strict Lambda-Calculus