OK, still going strong on various type inference tricks
hey hey
awww yeah
haha
okie dokie
just some incremental progress