bibundle subbundle module vector bundle bundle subbimodule microsupport hypermodule tangent bundle premetric