Cheap and cheerful dynamic types library, closely based on Hugs library with the same name. (docs to follow soon)