Why are there no abstract modules?

Also please note that the behaviour described in Abstract def inside module not being enforced has since been fixed. The compiler now refuses non-matching signatures.