Inference for if-then-else, and simple implementation for =.
Refactorings.
Improved readme.