Very slow runtime for by*

This is mainly due to the naive goal search. I'm using the List monads and, therefore, looking up every possiblity. 

Could we take some advantage of laziness here?

It is not really feasible to ask more data (such as a type dictionary for a more efficient goal-searching) from the user and the `Reflection` API doesn't let me grab this details on-the-fly.
