Long term todo
fix pretty printing
allow aliases at any level