package asli

Performing variable substitutions in expressions and types

Note that it does not replace type constructors, global constants or enumerations in patterns, array indexes and types so this is limited to replacing local variables. It also does not replace variables used as l-expressions though that it easily changed if we think it should.