A compiler and comprehensive toolset for the Maso programming language