Jeff Niu

We already have `from Time import now`, which isn't quite the same as Python's `time` module, but you can always import that via the Python interop API. Retitling this to...

This looks like a notebook environment specific problem. This should work inside a `def`

The issue with adding the `type` bultin to Mojo is that we don't have a runtime type representation yet. I.e. in Python, `type` returns a type instance that can be...