The any type

Written version in progress…