The type system (and the value system) now include attributes for each type (things like direction, const-ness). Signed-off-by: Will Hawkins <hawkinsw@obs.cr>
Signed-off-by: Will Hawkins <hawkinsw@obs.cr>