A notation and system for expressing and executing cleanly typed workflows on messy scientific data