Text this: Call-by-Value and Call-by-Name Dual Calculi with Inductive and Coinductive Types