VERY simple rules can get types and variables 80% correct... (excuse the fruit salad - just to visualize which is which). However, this will be improved on.