Deontic Logic with Action Types and Tokens