use imul
refactor trans_stmt/let
cleanup
somemorecleanup
generics-free
lol