Can you explain more about strongly typed vs statically typed?