A Language for High-Level Programming with Self-Extension