Computable Functional Enrichments of Parameterized Behavioural Data Types