Finish type representations

There are some missing features that are only started but not finished in type description.

• Constant type loading
• Deduction of mantisa type of the decimal
• Tuple is not accessible trough its enum names
• Finish implementation of chainpack_bytes