HPT analysis, eval/apply lowering, register introduction.