Penjenisan statik