Computable Variants of AIXI which are More Powerful than AIXItl (Journal of Artificial General Intelligence, 2019)