Adding header and header values as types
bug fix in typechecking for "filter" expressions