This seems trivial? An HTLC is just (A & preimage) || (B & blockheight) and you can just compile the individual policies for A and B and compile them into two single pubkey point, and just use tapleaves for (policy-A & preimage) and (policy-B & blockheight)? You kinda need SCRIPT for hashlocks anyway. An optimization is to also add a policy(A & B) keypath spend.