Support the record/2 macro in typespecs

[Qqwy]

Some archaic erlang types (c.f. :file.fd()) are parsed by elixir's typespec as, for instance, record(:file_descriptor).

It would be nice if we could support these directly in TypeCheck as well.

c.f. https://hexdocs.pm/elixir/Record.html#module-types

[Qqwy]

• record(SomeName, a: type1, b: type2) should be shorthand for {SomeName, a :: type1, b :: type2}
• record(SomeName) should be shorthand for SomeName | {SomeName} | {SomeName, any()} | ... (in other words: val when val == SomeName or is_tuple(val) and elem(val, 0) == SomeName)