feat(bin/linja): enforce path separator '\' on Windows platform
feat(bin/linja): delete MSYSTEM env variable on Windows
refactor(library/logic/cast): define heq using inductive datatypes

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>