typing is performed forward (propagation) as well as backwards (inference), which is why we can omit variable types entirely here.

#devlog #LRDL

@lritter that sdl function is a mouthful
@tnorinder some of them take structs as big as phonebooks