bashrc: pull ghci-like alias fcts to aliases