Added semantics for amb.
Fixed the type inference rules.