Added alpha-conversion on substitution - case wasn't handled before