Added Algorithms module currently with alpha-equivalence
Added tests for alpha-equivalence
Added module Language.Embedded that re-exports the modules below