The Functional Machine Calculus II: Semantics