feat: add top-level imports (#125)

Closes #123 
Closes #100 
Closes #127

README.md

@@ -4,14 +4,13 @@ Guppy is a quantum programming language that is fully embedded into Python.
 It allows you to write high-level hybrid quantum programs with classical control flow and mid-circuit measurements using Pythonic syntax:
 
 ```python
-from guppylang import guppy, Qubit
+from guppylang import guppy, Qubit, quantum
 
-import guppylang.prelude.quantum as quantum
 guppy.load(quantum)
 
+# Teleports the state in `src` to `tgt`.
 @guppy
 def teleport(src: Qubit, tgt: Qubit) -> Qubit:
-   """Teleports the state in `src` to `tgt`."""
    # Create ancilla and entangle it with src and tgt
    tmp = Qubit()
    tmp, tgt = cx(h(tmp), tgt)

guppylang/__init__.py

@@ -1 +1,5 @@
-__all__ = ["types.py"]
+from guppylang.decorator import guppy
+from guppylang.module import GuppyModule
+from guppylang.prelude import builtins, quantum
+from guppylang.prelude.builtins import Bool, Float, Int, List, linst
+from guppylang.prelude.quantum import Qubit

ruff.toml

@@ -75,6 +75,7 @@ ignore = [
 "guppy/decorator.py"          = ["B010"]
 "tests/integration/*"         = ["F841", "C416", "RUF005"]
 "tests/{hugr,integration}/*"  = ["B", "FBT", "SIM", "I"]
+"__init__.py"                 = ["F401"]    # module imported but unused
 
 # [pydocstyle]
 # convention = "google"