Typ (informatyka)