pub fn pattern_type(p: &Pattern) -> TSimple