Comment by KeenanKeenan

If macros can implement arbitrary language features then how come elisp has never built a type system?