add tipe/
tipe.c: just some brace-only changes
tipe.c: remove assert()s