improving data types representation and adding feedback from spec review