Add methods to determine what primitive accepts and what is the output for that (typing)