Linear module with Linear, AntiLinear, SesquiLinear data types