wip
turn typing into a relation
remove stale comments
done with typing weakening