Some work on revised stack/value types