The strong type restrictions may be alleviated to some extent by preprocessing which includes type checking and coercion. A polymorphic version of the architecture could be specified, with an increase in implementation complexity. Perhaps automatic type casting during task execution when appropriate would be a compromise. This is left for further work.