[WIP][Backend] Add explicit coercions

Explicit conversions from subtypes to supertypes based on subtyping axioms.

added Feature label

assigned to @0xrobertzhang

added 2 commits

• c66a655e - fixed issue with explicit coercion f/R_P
• b718b391 - [Backend] Local explicit coercions

Compare with previous version

changed target branch from main to dcs-explicit-coercions

added 3 commits

• b718b391...46241d4f - 2 commits from branch astump97:dcs-explicit-coercions
• 27552d90 - Merge branch 'dcs-explicit-coercions' into 'explicit-coercions'

Compare with previous version

added 1 commit

• a27b460c - [Backend] Local explicit coercions

Compare with previous version

added 3 commits

• a27b460c...46241d4f - 2 commits from branch astump97:dcs-explicit-coercions
• 9d75741e - [Backend] Local explicit coercions

Compare with previous version

added 1 commit

• 371333f9 - Attempt at converting state monad to reader monad

Compare with previous version

added 1 commit

• e2d8c325 - Attempt at converting state monad to reader monad

Compare with previous version

approved this merge request

mentioned in commit c67e5da2

merged