WashOut can now accept types at first level of definition (fixes #95)