large rework, now my evaluation structures
are only able to describe complex function evaluation
(with no other types in between as well)
while this makes it lett universal, I really don't want
to get deep into dynamic typing territory -- I feel like
I'll never make it work anyway
