1/1: Building Elem (Elem.idr)
1/1: Building ElemBool (ElemBool.idr)
1/1: Building ElemType (ElemType.idr)
1/1: Building Hangman (Hangman.idr)
1/1: Building RemoveElem (RemoveElem.idr)