make the output more readable
remove unused types/funs
finish specialization