Better runtime type error reporting; enforce that parallel functions return a value and an error