Moved definition of simple types to Spine.agda