Typed stack WIP