Update wrapper types

[guyemerson]

Wrapper and computation types (including append lists) could be updated to reflect the suggested best practices in my latest proposal: https://github.com/delph-in/docs/blob/main/summits/2021/turing-demo-grammar/matrix.tdl