Improves functions, types, overflow