Some emacs tweaks
Fix workspace #8
Fixed some aliases