A Monadic Theory Of Point Processes