Text this: Computable Variants of AIXI which are More Powerful than AIXItl