types as values