Index over free and bound variable types and grasp at straws