Added conceptual logic for actually evaluating the functions.

Still need to:
Figure out how to get fn. specs "into" the program
Figure out how to handle multi-type interactions
Added pretty printer for mixed interaction list