type representations modulo bijections
indeed the sampling code can be removed for now
Merge branch 'stlc'