convert ast types to firm types