Implement the type Filter<T, Predicate> takes an Array T, primitive type or union primitive type Predicate and returns an Array include the elements of Predicate.

This challenge was ported from Type Challenges and was authored by x86chi