Fix type analysis bug not being able to type check an aliased tuple in match position
Fix type analysis bug not being able to type check an aliased tuple in match position

metaborg/dynsem,metaborg/dynsem