Higher-Order Abstract Interpretation and Application to Comportment Analysis Generalizing Strictness, Termination, Projection and PER Analysis of Functional Languages