fix(compiler): runtime type matching system

[mtshiba]

Fix runtime type matching system and related things.

This patch resolves the following issues:

• Parameters cannot be hovered or renamed
• Cannot match using types belonging to a module

# this script is now compilable
re = pyimport "re"

badge_pattern = re.compile "a+"
badge_match = badge_pattern.search "aaaa"
match! badge_match:
    (some: re.Match) => print! "matched: \{some.group 0}"
    _ => print! "not matched"