type errors
key features
type safety
type safe stacks
rimo stack