## Issue Currently a partial syntactic equivalence check. ## Proposed Solution - [x] Add checks for literal values as well as types
Issue
Currently a partial syntactic equivalence check.
Proposed Solution