made literals into types