Changed 'evaluate', 'check', and 'infer' to use 'Term'.

This removes a lot of complexity, I think.
Got rid of 'Check'/'Infer' entirely.