designing with type