Fix bug in Element module: using unbound variables. Need to make compiler check for this!
Add the Docs.hs file that extracts type annotations.