Fix missing subsumes methods for different lens types

[penelopeysm]

Closes #129

[github-actions]

AbstractPPL.jl documentation for PR #145 is available at:
https://TuringLang.github.io/AbstractPPL.jl/previews/PR145/

[codecov]

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 86.34%. Comparing base (ae5e987) to head (44cc695).
⚠️ Report is 1 commits behind head on main.

Additional details and impacted files

@@            Coverage Diff             @@
##             main     #145      +/-   ##
==========================================
+ Coverage   86.28%   86.34%   +0.06%     
==========================================
  Files           9        9              
  Lines         452      454       +2     
==========================================
+ Hits          390      392       +2     
  Misses         62       62              

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

🚀 New features to boost your workflow:

• ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.