TIL MicroHS. Might try packaging this soon if it is in fact bootstrappable and can be deterministically compiled.