Array function filter causes type information to be lost

[SamCymbaluk]

The built in filter function takes an array of type T and returns a reduced array of type T, but the checker currently loses this type information; if the input to filter is []T, the output will be []any.