feat: setoid -> type port (step 1) (#502) --------- Co-authored-by: Markus de Medeiros <40584146+markusdemedeiros@users.noreply.github.com> Co-authored-by: Markus de Medeiros <markusdemedeiros@outlook.com> Co-authored-by: Zongyuan Liu <liuzongyuan0505@gmail.com>