wip gadt on var/vartype
casting
more downcast
more prettyrr