chore(kernel/builtin): remove unnecessary functions

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
feat(builtin/basic): add TypeM alias

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
feat(frontends/lean/parser): universe declarations

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
refactor(kernel/builtin): move definition and axioms to basic.lean

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
refactor(kernel/builtin): move definition and axioms to basic.lean