The main thing that needs to happen is fleshing out the tag switches in `check_ptr_usage` and `get_identifier`, as well as lots of testing.