Was du suchst, ist ein lichtstarkes Ultraweitwinkel.
Das genannte 12mm F2.0 ist schon das beste, was du für den Preis bekommen kannst.
Als Alternative wäre da nur das Tokina 11-16mm F2.8, ist also etwas lichtschwächer,
hat aber AF und elektr. Blende, dazu brauchst aber den EF(-S) Mount-Adapter, der nochmal
ca. 100Euro kostet, wenn nicht schon vorhanden. Vor allem ist das Tokina größer und schwerer.
Das Problem bei Samyang/Walimax ist eigentlich meistens die Serienstreuung.
Ob man bei Nachthimmel unbedingt AF brauch, muss jeder für sich selbst entscheiden.
Die EOS M(x) hat doch Focus Peaking, damit sollte MF doch kein Problem sein.