moved type aliases
some pretty printing