On the Implementation of Construction Functions for Non-free Concrete Data Types