Type checking is a compile-time task so it wouldn’t affect the resulting binary. I believe it’s the higher level of abstraction afforded by Solidity that contributes to its larger binary and assembly size. It’s also a fact that a Lisp-like language is easier to parse and as a result, may be easier to convert to assembly or compile down to binary.
Stay tuned! There are many more screencasts, articles, and videos to come.