More work on val-call.
Fixed val-call; added eval func to core.
Refactored expr for simpler Either.