adde: some type_system stuff + couple of ghci commands