typed language