Add Edge Count, Edge Type and Debounce options to Hall Effect Plugin