Fix a bug in the timed CSP TimedPrefix scoping.
Fix the type of productions.
Add another test for generic typed processes.