HTLC: Hyperintensional Typed Lambda Calculus