Export Name from Constructs module
Fixed ShowF instance for Construct
Added module Testing for generating random terms
Random testing of alphaEq