Starting autonaming typeclass (core skeleton)