Remove unused constants
Don't case iota, set type directly