explicit action typing and stricter inclusion checks