use 'module type of' to factorize signature of Glical and Glical_kernel

+ add glical_bin.ml