Added comments to typer.{h,cpp} and fixed bug with failing to validate binary operator expressions correctly.