Added Regex.describe
Added LiftToOption.describe
Added ForAll.describe