simple proof-of-concept symbolic type for Spire