Added unification of formal and actual parameters, to allow for pattern matching in parameters