type script