Simplicity and consistency via fast, solid and double types