Some more specific type specifications for input events

Signed-off-by: Robert Deaton <rdeaton@udel.edu>