update documentation of type system
Failed
Frederik Hennig
created pipeline for commit
a6924b47
, finished
For backend-rework
235 minutes 25 seconds, queued for 1 seconds