Better PHP Data Types