Type inference

🚧 Still under construction! 🚧