Thanks <@U4UGS5FC7> for that overview! A lot of th...

# pattern-matching

[mattmoore]

Thanks @raulraja for that overview! A lot of that made sense to me. I think my next steps are to spend a little time getting more familiar with the type proofs system.