Types for Web Rule Languages: a preliminary study