Add doc strings to def-alias statements